SAGE: Software for Algebra and Geometry Experimentation Major Points
نویسنده
چکیده
SAGE is a project that the PI launched in January 2005 to create a software environment for research and experimentation in algebra, geometry, number theory, cryptography, and numerical computation. This involves the creation of free open source software and databases that support advanced mathematical research. The PI is one of the more sought-after people by the world-wide community of mathematicians, for computational confirmation of conjectures, for algorithms, for data, and for ways of formulating problems so as to make them more accessible to algorithms. He is also successful at bringing together a wide range of people to work on collaborative mathematics projects; for example, he organized the MSRI workshop [30], two NSF-funded SAGE Days workshops [10; 11], and will organize several more workshops during the next year [1; 31; 12; 2]. He has extensive experience with software development, having written HECKE, much of SAGE, and over 25,000 lines of code that are included in Magma.
منابع مشابه
Automatic Deduction in Dynamic Geometry using Sage
We present a symbolic tool that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction. The main prototype has been developed as two different worksheets for the open source computer algebra system Sage, corresponding to two different ways of coding a geometric construction. In one worksheet, diagrams constructed with the open source dynamic ge...
متن کاملAutomatic deduction in (dynamic) geometry: Loci computation
A symbolic tool based on open source software that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction is presented. The prototype has been developed as two different worksheets for the open source computer algebra system Sage, corresponding to two different ways of coding a geometric construction, namely with the open source dynamic geometr...
متن کاملDeterministic Primality Testing - understanding the AKS algorithm
Prime numbers play a very vital role in modern cryptography and especially the difficulties involved in factoring numbers composed of product of two large prime numbers have been put to use in many modern cryptographic designs. Thus, the problem of distinguishing prime numbers from the rest is vital and therefore there is a need to have efficient primality testing algorithms. Although there had...
متن کاملCombining FCA Software and Sage
This paper discusses in how far FCA software can be combined with the computer algebra system Sage. The motivation for this paper is teaching mathematics to software engineering students using Sage and FCA which highlights differences and connections between mathematical and computational structures. Furthermore, this paper provides implementation details on how Sage’s functions for matrices, g...
متن کاملEffect of cutting size and position on propagation ability of Sage (Salvia officinalis L.)
The investigation was conducted on wet and dry seasons of Ethiopia during the year 2012/2013 at Wondo Genet Agricultural Research Center Nursery site. Four levels of cutting size and three levels of cutting positions were arranged in randomized complete block design with three replications. Data on seedling height, branch number/seedling, root number/seedling, root weigh/seedling, root length/s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006